Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
611	Fractal Completeness Techniques in Topological Modal Logic: Koch Curve, Limit Tree, and the Real Line Tamar Lando∗ and Darko Sarenac† July 16, 2011 Abstract Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2014-08-19 10:28:10 Model theory Order theory Philosophical logic Modal logic Kripke semantics Alexandrov topology Sheaf Interpretation Continuous function Logic Mathematics Mathematical logic
612	Robust Evaluation of Expressions by Distributed Virtual Machines Lance R. Williams Dept. of Computer Science, University of New Mexico, Albuquerque, NM[removed]Abstract. We show how expressions written in a functional pro Add to Reading List Source URL: www.cs.unm.edu Language: English - Date: 2013-08-20 16:54:12 Programming language implementation Compiler construction Bytecode Lisp Scheme Closure Compiler Actor model Computing Software engineering Programming language theory
613	Altruism and Self-ControlI Anna Dreber1 , Drew Fudenberg2 , David K. Levine3 , David G. Rand4 Abstract By extending the dual-self model to include altruistic preferences we explain why people appear to have preferences f Add to Reading List Source URL: levine.sscnet.ucla.edu Language: English - Date: 2014-08-07 12:34:50 Altruism Ethics Game theory Dictator game
614	Model-Based Approaches to Handling Uncertainty M.J.F. Gales Abstract A powerful approach for handling uncertainty in observations is to modify the statistical model of the data to appropriately reflect this uncertainty. Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2010-09-03 04:10:35 Statistical inference Markov models Statistical models Multivariate normal distribution Speech recognition Hidden Markov model Additive white Gaussian noise Mixture model Linear regression Statistics Estimation theory Regression analysis
615	Static Vs. Dynamic Regenerator Assignment in Optical Switches: Models and Cost Trade-offs Kotikalapudi Sriram, David Griffith, Richard Su, and Nada Golmie Abstract— Agile all optical switches (OXC) currently use an arc Add to Reading List Source URL: w3.antd.nist.gov Language: English - Date: 2009-02-03 16:25:34 Poisson processes Telecommunications Erlang Network performance Sart Transmission system Fiber-optic communication Queueing model Statistics Queueing theory Stochastic processes
616	Incentives in Competitive Search Equilibrium Espen R. Moenyand Åsa Rosénz June 27, 2010 Abstract This paper proposes a labor market model with job search frictions where workers Add to Reading List Source URL: roes.wpengine.com Language: English - Date: 2011-01-20 04:48:54 Macroeconomics Market failure Labour economics Unemployment Matching theory Economic equilibrium Employment Principal–agent problem Phillips curve Labor economics Economics Ethics
617	A Mathematical Formalism for the Topic Maps Reference Model Neill A. Kipp DRAFT: October 14, [removed] Add to Reading List Source URL: www.isotopicmaps.org Language: English - Date: 2003-11-30 17:12:32 Mathematical structures Matroid theory Algebraic structures Universal algebra Function Cartesian product Basis Power set Ring Mathematics Algebra Abstract algebra
618	Armenian Journal of Mathematics Volume 4, Number 1, 2012, 1–24 Categorical Abstract Algebraic Logic: Closure Operators on Classes of PoFunctors George Voutsadakis* Add to Reading List Source URL: ajm.asj-oa.am Language: English - Date: 2012-05-25 03:53:42 Structure Universal algebra Parity of a permutation Functor Orbifold Mathematics Group theory Model theory
619	MODEL THEORY OF OPERATOR ALGEBRAS II: MODEL THEORY arXiv:1004.0741v5 [math.LO] 14 Jul 2013 ILIJAS FARAH, BRADD HART, AND DAVID SHERMAN Abstract. We introduce a version of logic for metric structures suitable for applica Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-07-15 20:24:57 Functional analysis Non-standard analysis Von Neumann algebras Ultraproduct C*-algebra Operator algebra Model theory John von Neumann Ultrafilter Mathematical analysis Mathematics Operator theory
620	M PRA Munich Personal RePEc Archive On the stability of recursive least squares in the Gauss-Markov model Evens Salies Add to Reading List Source URL: mpra.ub.uni-muenchen.de Language: English - Date: 2014-08-21 04:19:29 Matrix theory Abstract algebra Singular value decomposition Eigenvalues and eigenvectors Vector space Trace Algebra Linear algebra Mathematics

UPDATE